function f(p: A) => p;